首页> 外文OA文献 >A Novel Method to Verify Multilevel Computational Models of Biological Systems Using Multiscale Spatio-Temporal Meta Model Checking.

【2h】

A Novel Method to Verify Multilevel Computational Models of Biological Systems Using Multiscale Spatio-Temporal Meta Model Checking.

机译：一种利用多尺度时空元模型检验验证生物系统多级计算模型的新方法。

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Ovidiu Pârvu; David Gilbert;
展开▼
作者单位

展开▼
年度 2016
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Coloured Petri nets for multilevel, multiscale and multidimensional modelling of biological systems [J] . Fei Liu, Monika Heiner, David Gilbert Briefings in bioinformatics . 2019,第3期

机译：用于多级，多尺度和生物系统多维建模的彩色培养网
2. Multiscale computational models of complex biological systems [J] . WalpoleJ., PapinJ.A., PeirceS.M. Annual review of biomedical engineering. . 2013,第Null期

机译：复杂生物系统的多尺度计算模型
3. The most precise computations using Euler's method in standard floating-point arithmetic applied to modelling of biological systems [J] . KalininaE.A. Computer Methods and Programs in Biomedicine: An International Journal Devoted to the Development, Implementation and Exchange of Computing Methodology and Software Systems in Biomedical Research and Medical Practice . 2013,第2期

机译：在标准浮点算术中使用欧拉方法进行的最精确计算应用于生物系统建模
4. Computational horizons in cancer (CHIC): Developing meta- and hyper-multiscale models and repositories for in Silico Oncology - A brief technical outline of the project [C] . Stamatakos G., Dionysiou Dimitra, Misichroni Fay, Proceedings of the 2014 6th International Advanced Research Workshop on In Silico Oncology and Cancer Investigation - The TUMOR Project Workshop . 2014

机译：癌症的计算视野（CHIC）：开发计算机肿瘤学的元和超多尺度模型和存储库-项目的简要技术概述
5. Event modeling and verification of chemical processes using symbolic model checking. [D] . Turk, Adam Leslie. 1999

机译：使用符号模型检查对化学过程进行事件建模和验证。
6. A Novel Method to Verify Multilevel Computational Models of Biological Systems Using Multiscale Spatio-Temporal Meta Model Checking [O] . Ovidiu Pârvu, David Gilbert -1

机译：多尺度时空元模型检查验证生物系统多级计算模型的新方法
7. Coloured Petri nets for multilevel, multiscale and multidimensional modelling of biological systems [O] . Fei Liu, Monika Heiner, David Gilbert 2017

机译：用于多级，多尺度和生物系统多维建模的彩色培养网

A Novel Method to Verify Multilevel Computational Models of Biological Systems Using Multiscale Spatio-Temporal Meta Model Checking.

著录项

引文网络

相似文献

相关主题

期刊订阅